系统功能测试过程中，验证需求可以正确实现的测试用例称为( )。